Detection of Changes by Observer in Timed Event Graphs and Time Stream Event Graphs
نویسنده
چکیده
A state-based approach for detection of changes in systems modelled as Timed Event Graph and Time Stream Event Graph is presented. We assume that the net in its nominal behavior is known and transitions are partitioned as observable and unobservable transitions. Considered faults are (possibly small) variations of dynamical models by respect to this nominal behavior. Using the algebra of dioids, the approach follows the same principle as the observers used in continuous systems.Copyright c ©2007 IFAC
منابع مشابه
State estimation and detection of changes in time interval models
This paper presents an estimation approach for Time Event Graphs such as P-Time Event Graphs and Time Stream Event Graphs. It is assumed that the nominal behavior is known and that transitions are partitioned as observable and unobservable transitions. The technique is applied to the detection of changes which are (possibly small) finite variations of dynamic models compared to this nominal beh...
متن کاملPredictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
The aim of this paper is the predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs. We propose a fixed-point approach which leads to a pseudopolynomial algorithm. As the performance of the algorithm is crucial in on-line control, we highlight an important case where the resolution of this first algorithm is efficient. The second technique is a space control...
متن کاملOptimal Control Synthesis in Interval Descriptor Systems Application to Time Stream Event Graphs
This paper presents a new class of model in the field of topical algebra whose time evolution belongs to intervals. The lower and upper bounds depend on the maximization, minimization and addition operations, simultaneously. A motivation for the current study is the modelling of Time Petri nets like Time Stream Petri Nets and P-time Petri nets which extend Timed Petri Nets and generalize the se...
متن کاملOn Marking of Continuous Generalized Timed Events Graphs
We study fluid analogues of a subclass of Petri Nets, called Continuous Generalized Timed Event Graphs, which are a time extension of weighted TSystems studied in the Petri Net literature. These event graphs can be studied in the algebraic structure called (min,+) algebra. In this paper we deal with the problem of allocating an initial marking in a Continuous Generalized Timed Event Graphs for ...
متن کاملRobust controller design for timed event graphs in dioids
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. The synthesis presented here is mainly based on dioid, interval analysis and residuation theory. keyword Discrete-event systems ; Timed event graphs ; Dioid ; Interval analysis ; Residuation theory ; Feedback synthesis
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007